#ifndef _INFOMMU_H_
#define _INFOMMU_H_

#define CPUCORE_MAX                1
#define SDRAM_MAPVECTPHY_ADDR      0x30000000   /* SDRAM内存起始地址(物理地址&虚拟地址) */

#define KRNL_INRAM_START           0x30000000   /* 内核在RAM中的起始地址 (中断向量表也算内核的一部分) */

#define MMU_PAGE_TLB_ADDR          0x30004000   /* MMU页表起始地址 */
#define MMU_PAGE_TLB_SIZE          4096         /* 一级页表项个数 */
#define MMU_PTE_SECT_AP            (3 << 10)    /* AP位11b */
#define MMU_PTE_SECT_DOMAIN        (0 << 5)     /* 页所在域为0 */
#define MMU_PTE_SECT_NOCW          (0 << 2)     /* 页不支持缓存回写 */
#define MMU_PTE_SECT_BIT           (2)          /* 1MB大小的页 */

#define INIT_HEAD_STACK_ADDR       0x34000000   /* 初始化栈指针地址 */

#define CPU_INTVECTOR_PHYADDR      0x30000000   /* CPU中断向量表物理地址 */
#define CPU_INTVECTOR_VIRADDR      0            /* CPU中断向量虚拟地址 */

#define PLFM_ADDRSPACE_NBR         29           /* SoC (S3C2440) 的地址空间分类(块)数量 */

#endif
